National Repository of Grey Literature 1 records found  Search took 0.01 seconds. 
Using gadget construction in structural convergence
Hons, Tomáš ; Hartman, David (advisor) ; Ossona de Mendez, Patrice (referee) ; Pultr, Aleš (referee)
Structural convergence is a framework for convergence of graphs and relational struc- tures based on the probability of satisfaction of first-order formulas. We consider gadget construction, which is a ubiquitous tool in many areas of mathematics, as a method for constructing convergent sequences of structures. Both for elementary and local conver- gence, we investigate the behavior of a sequence created by gadget construction from convergent sequences of base structures and gadgets. We show that elementary conver- gence is always preserved while additional assumptions are necessary for local convergence as witnessed by several examples. We give various different conditions that ensure local convergence. One of them states that the resulting sequence is local convergent if the replaced edges are dense in the sequence of base structures. The sufficient conditions are partially complemented by inverse theorems. 1

Interested in being notified about new results for this query?
Subscribe to the RSS feed.